increasing($f$; $k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:int\_seg(0; ($k$ {-} 1)). ($f$($i$)) $<$ ($f$($i$ + 1))